Dresden University

Results: 265



#Item
231Non-classical logic / Logical connectives / Propositional calculus / Boolean algebra / Linear logic / Negation / Sequent calculus / Modal logic / Deep inference / Logic / Mathematical logic / Proof theory

AG15 RED AND BLUE Alessio Guglielmi (TU Dresden and University of Bath[removed]This note needs to be read in colour to be meaningful!

Add to Reading List

Source URL: cs.bath.ac.uk

Language: English - Date: 2007-12-18 10:37:48
232Non-classical logic / Boolean algebra / Substructural logic / Logical connectives / Negation / Linear logic / Rule of inference / Modal logic / Noncommutative logic / Logic / Mathematical logic / Propositional calculus

AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we

Add to Reading List

Source URL: cs.bath.ac.uk

Language: English - Date: 2007-12-18 10:37:51
233Propositional calculus / Boolean algebra / Logic in computer science / Lambda calculus / Proof theory / Combinatory logic / Modal logic / Negation / Logic / Mathematical logic / Mathematics

THE PROBLEM OF BUREAUCRACY AND IDENTITY OF PROOFS FROM THE PERSPECTIVE OF DEEP INFERENCE Alessio Guglielmi (TU Dresden and University of Bath[removed]Abstract Deep inference offers possibilities for getting rid of muc

Add to Reading List

Source URL: cs.bath.ac.uk

Language: English - Date: 2007-12-18 10:37:47
234Aesthetics / Cara Judea Alhadeff / Yogis / European Graduate School

Viscous Expectations: Justice, Vulnerability, The Ob-scene Cara Judea Alhadeff, Ph.D. Atropos Press, Dresden / New York Pennsylvania State University Press http://www.atropospress.com/

Add to Reading List

Source URL: www.carajudea.com

Language: English - Date: 2014-03-06 12:20:41
235Classes of computers / Computational linguistics / Information appliances / User interface techniques / Ambient intelligence / Wearable computer / Speech recognition / Microsoft Speech API / Database / Computing / Mobile computers / Human–computer interaction

The preliminary design of a wearable computer for supporting Construction Progress Monitoring Jan Reinhardt, TU - Dresden Prof. James H. Garrett,Jr., Carnegie Mellon University Prof. Raimar J. Scherer, TU - Dresden

Add to Reading List

Source URL: www.ce.cmu.edu

Language: English - Date: 2002-02-05 13:53:34
236Carbon nanotube / Leibniz-Institut für Festkörper- und Werkstoffforschung / Nobel laureates in Physics / Radioactivity / Marie Curie / Dresden University of Technology / Science / Physics / Chemistry

Microsoft PowerPoint - Klingeler_CARBIO_Paris_June_12_2007_for_pdf.ppt

Add to Reading List

Source URL: www.carbio.eu

Language: English - Date: 2007-07-04 13:51:54
237Knowledge / Academic transfer / Erasmus Mundus / Dresden University of Technology / Erasmus Programme / Dresden / Tomsk / Educational policies and initiatives of the European Union / Education / Academia

ERASMUS MUNDUS EXTERNAL COOPERATION WINDOW (EM ECW) PROJECT FACT SHEET TITLE of the project Contract: [removed]EM[removed]DE-ERAMUNDUS-ECW-L04 Lot 4 (Russian Federation) Call for Proposals: EACE[removed]EM ECW 2nd Call fo

Add to Reading List

Source URL: eacea.ec.europa.eu

Language: English - Date: 2008-07-15 05:56:06
238Science / Data / Information science / Knowledge representation / Knowledge engineering / Web Ontology Language / Description logic / Tbox / Abox / Ontology / Information / Semantic Web

Representation and Reasoning Description Logics Markus Krötzsch, Dresden University of Technology František Simancˇík, Google Ian Horrocks, Oxford University

Add to Reading List

Source URL: korrekt.org

Language: English - Date: 2014-05-15 03:47:19
239Fraunhofer Society / Laboratories / Dresden University of Technology / Dresden / Institute of technology / Nanomaterials / Gianaurelio Cuniberti / Nanoparticle / Education / Academia / Knowledge

programm_nanofair2014_Layout[removed]:31 Seite 1 10th INTERNATIONAL NANOTECHNOLOGY SYMPOSIUM - NEW IDEAS FOR INDUSTRY - Program

Add to Reading List

Source URL: www.nanofair.com

Language: English - Date: 2014-06-27 12:35:35
240Vilnius University / Vilnius / Counties of Lithuania / European Humanities University / Geography of Europe / Europe

Budapester Str. 61, 01069 Dresden, Tel.: [removed], www.ehu-verein.de, [removed] Spring Academy 2014: Exploring Transformations hosted by the

Add to Reading List

Source URL: ehu-verein.de

Language: English - Date: 2014-04-17 04:08:40
UPDATE